windowManager: Always reset window actors when minimize animation is cancelled

This was left out in b6d47c18c. Fixes an occasional warning:
`this._minimizeWindowOverwritten is not a function`

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/911

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 41544ee7bd7ff256c4000886733d452fa15498ce..7716bab7414707dfcfb6b96399c198bc95283a31 100644 (file)
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1315,12 +1315,7 @@ var WindowManager = class {
                 opacity: 0,
                 duration: MINIMIZE_WINDOW_ANIMATION_TIME,
                 mode: Clutter.AnimationMode.EASE_OUT_QUAD,
-                onStopped: isFinished => {
-                    if (isFinished)
-                        this._minimizeWindowDone(shellwm, actor);
-                    else
-                        this._minimizeWindowOverwritten(shellwm, actor);
-                },
+                onStopped: () => this._minimizeWindowDone(shellwm, actor),
             });
         } else {
             let xDest, yDest, xScale, yScale;